package com.googlecode.kipler.satisfiability.completion.rule.formula.uniformnotation;

import com.googlecode.kipler.syntax.formula.Formula;

public interface BetaFormula {
	void setBeta(Formula f);
	Formula getBeta();
	Formula getBeta1();
	Formula getBeta2();
	boolean isValid();
}
